Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
991	CS109B Notes for LectureWhy Logic? Models reasoning, mathematical proofs, hu Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:59:08 Propositional calculus Boolean algebra Semantics Logical connectives Model theory Truth table Interpretation Function Propositional variable Logic Mathematical logic Mathematics
992	Using an Expressive Description Logic: FaCT or Fiction? Ian R. Horrocks Medical Informatics Group Department of Computer Science University of Manchester Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-07-26 07:49:27 Non-classical logic Model theory Philosophical logic Formal methods Transitive closure Modal logic Description logic Boolean satisfiability problem Satisfiability Logic Mathematics Mathematical logic
993	IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version) Add to Reading List Source URL: ezyang.com Language: English - Date: 2015-03-19 00:33:40 Metalogic Logic Structure Programming language Mathematics Formal languages Model theory
994	Microsoft Word - SourceBook_2E_17_Sept_07_EN-6+9.doc Add to Reading List Source URL: www.mfdr.org Language: English - Date: 2007-10-29 16:42:32 Project management Aid effectiveness International economics Program management Sociology Logic model Impact evaluation Development International development Evaluation methods
995	Semantic Parsing via Paraphrasing Jonathan Berant Stanford University 1 Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2014-04-11 22:58:26 Formal languages Algebraic logic Philosophical logic Boolean algebra Formal grammar Entailment Semantics Model theory Function Logic Mathematics Metalogic
996	Knowledge and Communication: A First-Order Theory Ernest Davis 1 Courant Institute, New York University, New York, NYUSA Abstract Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-02-14 11:23:32 Model theory Deduction Entailment Logical consequence Metalogic First-order logic Common knowledge Function Axiom Logic Mathematics Philosophical logic
997	Transforming Situation Calculus Action Theories for Optimised Reasoning Christopher Ewin Adrian R. Pearce Stavros Vassos Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2014-03-04 23:18:30 Logic programming Metalogic Knowledge representation Logic in computer science Situation calculus Frame problem Interpretation Fluent Constructible universe Mathematical logic Logic Model theory
998	CS109B Notes for LectureWhy Tautologies Again? Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:59:23 Propositional calculus Model theory Logical truth Semantics Predicate logic Tautology First-order logic Substitution Function Logic Mathematical logic Mathematics
999	A First-Order Theory of Communication and Multi-Agent Plans: Appendix A Leora Morgenstern IBM Watson Labs Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-03-14 13:47:24 Models of computation Agent-based model Complex systems theory Scientific modeling Communication Entailment Logic Multi-agent systems Science
1000	IPDET Module 4: Understanding the Evaluation Context and Program Theory of Change Add to Reading List Source URL: www.cabinet.gov.mn Language: English - Date: 2010-07-25 22:19:01 Science Logic model Impact evaluation Evaluation Evaluation methods Sociology